Computer aided verification - proceedings : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2000
- Författare
- (Ed Brinksma, Kim Guldstrand Larsen (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | xiii, 626 sidor. ill. | |
| Springer-Vlg | cop. 1992 | Tyskland, Berlin, New York | x, 487 sidor. ill. | |